Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
181	Causal Interpretations Conditional on Surviving G. Rohwer (JulyAbstract. The article discusses how to think of the causal effect of a treatment X, realized at age t, on an outcome variable Y , whose values only ex Add to Reading List Source URL: www.stat.ruhr-uni-bochum.de Language: English - Date: 2015-02-20 13:01:30 Information theory Causality Conditionals Philosophy of science Independence Random variable Variable Boolean algebra Differential equation Mathematics Probability theory Elementary mathematics
182	Binary Addition on Cellular Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:31:28 Propositional calculus Exclusive or Logic Binary numeral system Cellular automaton Logarithm Summation Mathematics Abstract algebra Boolean algebra
183	Reference Card Jean-Raymond Abrial and Thai Son Hoang April 2008 Contents Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2008-06-10 09:27:26 Propositional calculus Boolean algebra Semantics Logical connectives First-order logic Negation Deduction theorem Equational logic Logic Mathematical logic Mathematics
184	Website: www.chestysoft.com Email: csXPostUpload - Version 1.1 ActiveX Control to Post Files to a Server Using HTTP Add to Reading List Source URL: www.chestysoft.com Language: English - Date: 2010-10-20 06:51:56 Boolean algebra Procedural programming languages Boolean data type Visual Basic FALSE Computing Software engineering Computer programming
185	Workshop MATH THEIR WAY ® The most enjoyable, practical, influential, and enlightening hands-on workshop you can take to help you teach math for grades K-2! Prices Add to Reading List Source URL: www.center.edu Language: English - Date: 2013-07-02 18:21:33 Education reform Algebra Boolean algebra Propositional calculus National Council of Teachers of Mathematics Logical disjunction XTR IP Abstract algebra Mathematics Mathematics education
186	µZ– An Efficient Engine for Fixed points with Constraints? Kryˇstof Hoder, Nikolaj Bjørner, and Leonardo de Moura Manchester University and Microsoft Research Abstract. The µZ tool is a scalable, efficient engine Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-09-16 13:09:02 Mathematical logic Mathematical structures Model theory Algebraic logic Boolean algebra Finitary relation Structure Relational algebra Relation algebra Mathematics Algebra Abstract algebra
187	Boolean Formula-based Branch Prediction for Future Technologies Daniel A. Jim´enez Dept. of Computer Sciences The University of Texas at Austin Austin, TX 78712 Add to Reading List Source URL: research.ac.upc.edu Language: English - Date: 2002-03-20 08:47:57 Branch predictor Boolean algebra Alpha 21264 CPU cache Branch misprediction Lookup table Boolean function Boolean circuit Computing Computer architecture Computer hardware
188	Programming for MSc Part I Part 2: Scalar Data Types (c) Introduction to Boolean Algebra Operations Add to Reading List Source URL: herbert.the-little-red-haired-girl.org Language: English - Date: 2009-07-29 03:21:47 C programming language Data types C++ Primitive types Procedural programming languages Typedef C syntax Enumerated type C Computer programming Computing Software engineering
189	Preventing Arithmetic Overflows in Alloy Aleksandar Milicevic and Daniel Jackson Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {aleks, dnj}@csail.mit.edu Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-05-26 11:29:50 Semantics Boolean algebra Predicate logic Propositional calculus FO Predicate Quantification Interpretation Negation Logic Mathematical logic Mathematics
190	Instantiations, Zippers and EPR Interpolation Nikolaj Bjørner, Arie Gurfinkel, Konstantin Korovin and Ori Lahav Microsoft Research, Software Engineering Institute, University of Manchester, Tel Aviv University Abstract Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-05-07 12:02:18 Model theory Automated theorem proving Boolean algebra Resolution Interpolation First-order logic Interpretation Unsatisfiable core Atomic formula Logic Mathematical logic Propositional calculus

UPDATE